be62fb31fea022602a260bf5ae90ccb40c75def5,src/com/vaadin/terminal/gwt/client/ui/VTabsheet.java,TabBar,setVisible,#number#boolean#,211

Before Change


        }

        public void setVisible(int index, boolean visible) {
            Element e = DOM.getParent(getTab(index).getElement());
            if (visible) {
                DOM.setStyleAttribute(e, "display", "");
            } else {

After Change


        }

        public void setVisible(int index, boolean visible) {
            com.google.gwt.dom.client.Element e = getTab(index).getElement()
                    .getParentElement().getParentElement();
            if (visible) {
                e.getStyle().setProperty("display", "");
            } else {